10 ideas
6840 | Derrida came to believe in the undeconstructability of justice, which cannot be relativised [Derrida, by Critchley] |
21566 | 'Propositional functions' are ambiguous until the variable is given a value [Russell] |
21567 | 'All judgements made by Epimenedes are true' needs the judgements to be of the same type [Russell] |
23457 | Type theory cannot identify features across levels (because such predicates break the rules) [Morris,M on Russell] |
21556 | Classes are defined by propositional functions, and functions are typed, with an axiom of reducibility [Russell, by Lackey] |
21568 | A one-variable function is only 'predicative' if it is one order above its arguments [Russell] |
3238 | 'Dead person' isn't a contradiction, so 'person' is somewhat vague [Williams,B] |
3239 | You can only really love a person as a token, not as a type [Williams,B] |
21936 | A community must consist of singular persons, with nothing in common [Derrida, by Glendinning] |
21937 | Can there be democratic friendship without us all becoming identical? [Derrida, by Glendinning] |